Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
211	Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal Add to Reading List Source URL: mws.cs.ru.nl Language: English - Date: 2014-07-28 07:40:40 Mathematics Automated theorem proving Theoretical computer science Logic Formal methods Artificial intelligence Automated reasoning Reasoning Mathematical proof Theorem Mizar Parsing
212	J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version Add to Reading List Source URL: www.labri.fr Language: English - Date: 2014-03-17 06:03:51 Mathematics Algebra Mathematical logic Logic in computer science Model theory Proof theory Presburger arithmetic Time complexity Generalized arithmetic progression Polynomial Vector space Lattice
213	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
214	Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle
215	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
216	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
217	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-11 12:51:44 Automated theorem proving Logic Mathematics Mathematical logic Rippling Theorem Mathematical proof Isabelle Proof assistant
218	Microsoft Word - writproj_title.doc Add to Reading List Source URL: www.cs.sjsu.edu Language: English - Date: 2008-01-23 11:12:16 Proof assistants Software Programming language theory Functional languages Type theory Coq Agda Theorem Metamath Coenzyme Q10 Mathematical proof Mathematical logic
219	PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000000 SXXA SIMPLE PROOF OF THE ZEILBERGERBRESSOUD q -DYSON THEOREM Add to Reading List Source URL: www.cs.elte.hu Language: English - Date: 2012-11-26 02:52:46
220	Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC Add to Reading List Source URL: www.specware.org Language: English - Date: 2012-04-12 03:46:22 Software engineering Mathematical logic Logic Proof assistants Type theory Logic in computer science Automated theorem proving Isabelle Predicate logic HOL Quantifier ML

UPDATE